Thomas Callister Hales

Thomas Callister Hales
Información personal
Nacimiento	4 de junio de 1958 (66 años) San Antonio (Estados Unidos)
Nacionalidad	Estadounidense
Educación
Educado en	Universidad de Princeton
Supervisor doctoral	Robert Langlands
Información profesional
Ocupación	Matemático y profesor universitario
Área	Matemáticas
Empleador	Universidad de Míchigan Universidad de Pittsburgh
Miembro de	Sociedad Estadounidense de Matemática (desde 2012)
Distinciones	Premio David Robbins (2007) Miembro de la Sociedad Estadounidense de Matemática (2013)
[editar datos en Wikidata]

Thomas Callister Hales (nacido el 4 de junio de 1958) es un matemático estadounidense que trabaja en las áreas de teoría de la representación, geometría discreta y verificación formal. En teoría de la representación es conocido por su trabajo en el programa de Langlands y la prueba del lema fundamental sobre el grupo Sp(4) (muchas de sus ideas fueron incorporadas a la prueba final, debido a Ngô Bảo Châu). En geometría discreta, estableció la conjetura de Kepler sobre la densidad del empaquetamiento de esferas y la conjetura del panal de abeja. En 2014, anunció la finalización del Proyecto Flyspeck, que verificó formalmente la exactitud de su prueba de la conjetura de Kepler.